Conformance Checking in the Large: Partitioning and Topology
نویسندگان
چکیده
The torrents of event data generated by today’s systems are an important enabler for process mining. However, at the same time, the size and variability of the resulting event logs are challenging for today’s process mining techniques. This paper focuses on “conformance checking in the large” and presents a novel decomposition technique that partitions larger processes into sets of subprocesses that can be analyzed more easily. The resulting topological representation of the partitioning can be used to localize conformance problems. Moreover, we provide techniques to refine the decomposition such that similar process fragments are not considered twice during conformance analysis. All the techniques have been implemented in ProM, and experimental results are provided.
منابع مشابه
Distributed Process Discovery and Conformance Checking
Process mining techniques have matured over the last decade and more and more organization started to use this new technology. The two most important types of process mining are process discovery (i.e., learning a process model from example behavior recorded in an event log) and conformance checking (i.e., comparing modeled behavior with observed behavior). Process mining is motivated by the av...
متن کاملDecomposing Conformance Checking on Petri net With Data
Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check ...
متن کاملDecomposing conformance checking on Petri nets with data
Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check ...
متن کاملComplementing the B-Method with Model-Based Testing
In this Ph.D project, we propose a Model-Based Testing approach to complement the B-Method development process. The approach generates unit test cases that verify the conformance between the initial abstract model and the actual implementation of the system, checking if the developed code behaves as specified in the model. The test cases are generated using classic testing techniques such as In...
متن کاملDecomposing Alignment-Based Conformance Checking of Data-Aware Process Models
Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check ...
متن کامل